Stephen C. Kleene: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (23)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Kurt Gödel: Collected Works: Volume I: Publications 1929-1936

Kurt Gödel: Collected Works: Volume I: Publications 1929-1936

Oxford University Press, USA

Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort

Рік:

1986

Мова:

english

Файл:

PDF, 26.18 MB

3.0 / 4.0

english, 1986

2

Collected works. Publications 1938-1974

Collected works. Publications 1938-1974

Clarendon Press; Oxford University Press

Kurt Gödel, S. Feferman, John W. Dawson Jr., Stephen C. Kleene, G. Moore, R. Solovay, the late Jean van Heijenoort

Рік:

1989

Мова:

english

Файл:

DJVU, 3.42 MB

0 / 0

english, 1989

3

Kurt Gödel: Collected Works: Volume I: Publications 1929-1936 (Godel, Kurt//Collected Works)

Kurt Gödel: Collected Works: Volume I: Publications 1929-1936 (Godel, Kurt//Collected Works)

Oxford University Press, USA

Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort

Рік:

1986

Мова:

english

Файл:

DJVU, 13.27 MB

0 / 0

english, 1986

4

The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

North-Holland Publishing Company

Stephen Cole Kleene, Richard Eugène Vesley

Рік:

1965

Мова:

english

Файл:

PDF, 9.79 MB

0 / 0

english, 1965

5

Kurt Gödel: Collected works. Publications 1929-1936

Kurt Gödel: Collected works. Publications 1929-1936

Clarendon Press; Oxford University Press

Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort

Рік:

1986

Мова:

english

Файл:

DJVU, 4.26 MB

0 / 0

english, 1986

6

Mathematical Logic

Mathematical Logic

Kleene, Stephen Cole

Мова:

english

Файл:

PDF, 20.09 MB

0 / 0

english

7

Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

Rudolf Gödel, Olga Taussky-Todd, Stephen C. Kleene, Georg Kreisel (auth.), Paul Weingartner, Leopold Schmmetterer (eds.)

Рік:

1987

Мова:

english

Файл:

PDF, 10.01 MB

0 / 0

english, 1987

8

The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

North-Holland Pub. Co

Stephen Cole Kleene, R.E. Vesley

Рік:

1965

Мова:

english

Файл:

DJVU, 1.59 MB

0 / 0

english, 1965

9

Turing's Analysis of Computability and Major Applications of it (Oxford

Turing's Analysis of Computability and Major Applications of it (Oxford

Oxford University Press, USA

Stephen C Kleene

Рік:

1998

Мова:

english

Файл:

PDF, 1.74 MB

0 / 0

english, 1998

10

Formalized Recursive Functionals and Formalized Realizability

Formalized Recursive Functionals and Formalized Realizability

American Mathematical Society

Stephen C. Kleene

Рік:

1969

Мова:

english

Файл:

PDF, 11.80 MB

0 / 0

english, 1969

11

Collected Works: Volume I: Publications 1929-1936 (Collected Works of Kurt Godel)

Collected Works: Volume I: Publications 1929-1936 (Collected Works of Kurt Godel)

Oxford University Press

Kurt Godel, Solomon Feferman (editor), John W. Dawson Jr. (editor), Stephen C. Kleene (editor), Gregory H. Moore (editor), Robert M. Solovay (editor), Jean van Heijenoort (editor)

Рік:

1986

Мова:

english

Файл:

PDF, 33.44 MB

0 / 0

english, 1986

12

Kurt Gödel: Collected Works: Volume I: Publications 1929-1936

Kurt Gödel: Collected Works: Volume I: Publications 1929-1936

Kurt Gödel, S. Feferman (editor), John W. Dawson Jr. (editor), Stephen C. Kleene (editor), G. Moore (editor), R. Solovay (editor), Jean van Heijenoort (editor)

Рік:

1986

Мова:

english

Файл:

PDF, 27.79 MB

3.0 / 0

english, 1986

13

Two Papers on the Predicate Calculus

Two Papers on the Predicate Calculus

American Mathematical Society

Stephen C. Kleene

Рік:

1997

Мова:

english

Файл:

PDF, 4.88 MB

0 / 0

english, 1997

14

Two Papers on the Predicate Calculus

Two Papers on the Predicate Calculus

Amer Mathematical Society

Stephen C. Kleene

Рік:

1997

Мова:

english

Файл:

DJVU, 1.40 MB

0 / 0

english, 1997

15

Introducción a la Metamatemática (Colección Estructura y Función N.º 42)

Introducción a la Metamatemática (Colección Estructura y Función N.º 42)

Stephen Cole Kleene

Рік:

1974

Мова:

spanish

Файл:

PDF, 83.95 MB

4.0 / 5.0

spanish, 1974

16

Formalized Recursive Functionals and Formalized Realizability

Formalized Recursive Functionals and Formalized Realizability

Amer Mathematical Society

Stephen C. Kleene

Рік:

1969

Мова:

english

Файл:

DJVU, 2.35 MB

0 / 0

english, 1969

17

Mathematical Logic

Mathematical Logic

Dover Publications, Inc.

Stephen Cole Kleene

Рік:

1967

Мова:

english

Файл:

EPUB, 16.61 MB

0 / 0

english, 1967

18

Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

Rudolf Gödel, Olga Taussky-Todd, Stephen C. Kleene, Georg Kreisel (auth.), Paul Weingartner, Leopold Schmmetterer (eds.)

Рік:

1987

Мова:

english

Файл:

DJVU, 8.29 MB

0 / 0

english, 1987

19

Mathematical Logic

Mathematical Logic

Dover Publications

Stephen Cole Kleene

Рік:

2002

Мова:

english

Файл:

DJVU, 3.05 MB

0 / 4.0

english, 2002

20

Mathematical logic

Mathematical logic

Dover Publications

Stephen Cole Kleene

Рік:

2002

Мова:

english

Файл:

DJVU, 2.92 MB

5.0 / 3.0

english, 2002

21

Introduction to Metamathematics

Introduction to Metamathematics

North Holland; Wolters-Noordhoff

Kleene, Stephen Cole

Рік:

1971

Мова:

english

Файл:

DJVU, 4.59 MB

0 / 0

english, 1971

22

Mathematical Logic

Mathematical Logic

Dover Publications

Stephen Cole Kleene

Рік:

2002

Мова:

english

Файл:

EPUB, 16.61 MB

5.0 / 0

english, 2002

23

Introduction to Metamathematics

Introduction to Metamathematics

Wolters-Noordhoff Publishing

Stephen Cole Kleene

Рік:

1971

Мова:

english

Файл:

PDF, 14.50 MB

0 / 5.0

english, 1971